Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany

Source URL: st.inf.tu-dresden.de

• Software engineering
• Computing
• ISO standards
• Software
• Unified Modeling Language
• Object Constraint Language
• ECO
• Code refactoring
• Lambda calculus
• OCL
• Null
• Let expression

Eidgenössisches Departement für Wirtschaft, Bildung und Forschung WBF Staatssekretariat für Wirtschaft SECO SOAP Interface of Simap

Source URL: www.simap.ch

• Computing
• Web services
• Web standards
• World Wide Web
• Web Services Description Language
• SOAP
• SIMAP
• Password
• Authentication

Grundzüge der Wirtschaftsinformatik Introduction to Business Information Systems GWI-HT2009 – Unit 4: Introduction to Python (1) Univ.-Prof. Dr. Martin Hepp Professur für Allgemeine BWL, insbesondere E-Business

Source URL: www.ebusiness-unibw.org

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Data types
• Notation
• Programming language
• Computer
• Python
• Data
• Integer

Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• Programming language implementation
• Control flow
• Compiler optimizations
• Fortran
• Partial evaluation
• Programming language
• Type system

Guide2lhs2TeX (for version 1.10pre) Ralf Hinze ¨ Informatik III, Universit¨at Bonn Institut fur ¨

Source URL: www.andres-loeh.de

• Software engineering
• Computer programming
• Computing
• Higher-order functions
• Programming language comparisons
• Source code
• Map
• Haskell
• Fold
• Literate programming
• LaTeX
• Comment

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-3

Source URL: spes2020.informatik.tu-muenchen.de

• Computing
• Software engineering
• Scientific modeling
• Unified Modeling Language
• Systems engineering
• Architecture description language
• Software architecture
• Manfred Broy
• Modeling language
• Model-driven engineering
• Bernhard Rumpe
• Business process modeling

Guide2lhs2TeX (for versionRalf Hinze ¨ Informatik III, Universit¨at Bonn Institut fur ¨

Source URL: www.andres-loeh.de

• Software engineering
• Computer programming
• Computing
• Higher-order functions
• Programming language comparisons
• Map
• Haskell
• Fold
• Literate programming
• LaTeX
• TeX
• Comment

Formal Ontology and Principles and Prospects of Knowledge Organisation: An Axiomatic Approach Heinrich Herre Institut für Medizinische Informatik, Statistik und Epidemiologie Medizinische Fakultät, Universität Leipzig

Source URL: benking.de

• Ontology
• Information science
• Knowledge representation
• Technical communication
• Upper ontology
• General formal ontology
• Formal ontology
• Web Ontology Language
• Knowledge representation and reasoning
• Category of being
• Frame language
• Ontic

Curriculum für das Masterstudium Arabische Welt: Sprache und Gesellschaft Englische Übersetzung: The Arab World: Language and Society Stand: Oktober 2015 Mitteilungsblatt UG 2002 vom, 27. Stück, Nr. 184 Sch

Source URL: senat.univie.ac.at

Veröffentlichungen des Instituts für Europäische Geschichte Instructions for authors and style guide for English-language books General 1. This style guide is intended for the preparation of English-language monograph

Source URL: www.ieg-mainz.de

• Punctuation
• Typography
• Quotation mark
• Citation
• Dash
• Quotation
• Theodor W. Adorno
• Comparison of American and British English
• Comma
• Author citation
• Ellipsis
• Semicolon